Design and Analysis of Highly Availbalbe and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling
نویسندگان
چکیده
Larger size networks require DSM coherence protocols which scale well. Fault-tolerance in terms of high availability is required for data access and for uninterrupted DSM service since large-scale environments have a greater number of potentially malfunctioning components. We present a new class of coherence protocols for DSM systems whose instances o er highly available access to shared data at low operation costs. The protocols proposed scale well; an increase in the number of client sites does not increase the operation costs after a certain threshold has been reached. The results presented in this paper give strong guidelines for the overall design of DSM systems which o er highly available, uninterrupted services.
منابع مشابه
Experience with a Language for Writing Coherence Protocols
In this paper we describe our experience with Teapot [7], a domain-specific language for addressing the cache coherence problem. The cache coherence problem arises when parallel and distributed computing systems make local replicas of shared data for reasons of scalability and performance. In both distributed shared memory systems and distributed file systems, a coherence protocol maintains agr...
متن کاملSpecification-based Verification in a Distributed Shared Memory Simulation Model
The emergence of chip multiprocessors is leading to rapid advances in hardware and software systems to provide distributed shared memory (DSM) programming models, so-called DSM systems. A DSM system provides programming advantages within a scalable and cost-effective hardware solution. This benefit derives from the fact that a DSM system creates a shared-memory abstraction on top of a distribut...
متن کاملDelta Coherence Protocols Isotach Systems Caching in Distributed Systems
a distributed shared memory in distributed computations, and as the replica control problem in distributed databases. This article describes the home update protocol, a member of the class of coherence protocols called delta coherence protocols that uses isotach guarantees1 to solve the coherence problem in a new and highly concurrent way. (Due to space constraints, and to avoid obscuring the b...
متن کاملOperating System Support for Flexible Coherence in Distributed Shared Memory
COMMOS1 is an operating system architecture developed to support shared persistent data objects in distributed systems. This paper describes its support for flexible coherence. The approach is based on a microkernel, typed memory objects and integrated coherence control. The coherence server is clearly separated from the external pager. This separation makes it easier to provide multiple cohere...
متن کاملTeapot: A Domain-Specific Language for Writing Cache Coherence Protocols
ÐIn this paper, we describe Teapot, a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distributed systems make local replicas of shared data to improve scalability and performance. In both distributed shared memory systems and distributed file systems, a coherence protocol maintains agreement among the replicated copies as the unde...
متن کامل